COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 3 Programming in C and C++ (SCC) In this question, where appropriate, you may use a short fragment of code to complement your explanation.

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 7 7 Hoare Logic (MOM) (a) Briefly explain the concepts: mechanised program verification and verification conditions (VCs).

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 7 9 Information Theory and Coding (JGD) (a) Consider an alphabet of 5 symbols whose probabilities are as follows: A

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 5 2 Computer Design (SWM) Consider the following code which takes an array d of n 32-bit integers and performs a bubble sort.

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 5 2 Computer Design (SWM) (a) For RISC processors like ARM and MIPS, how is the work needed to undertake a subroutine call split between hardware and software?

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 6 3 Computation Theory (AMP) (a) Define what is a Turing machine and a Turing machine computation. [7 marks]

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part II – 2012 – Paper 7 4 Business Studies (JAL) (a) Distinguish between a profit and loss statement and cash flow statement. [5 marks]

Source URL: www.cl.cam.ac.uk

• Tax reform
• Value added tax

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 4 3 Computer Graphics and Image Processing (PR) (a) What are the main criteria to be considered in the design of a line drawing algorithm for a raster graphics display?

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 8 8 Hoare Logic (MOM) Use notation from logic (∀, ∃, etc.) in your answers to the questions below. (a) Define the semantics of the partial correctness Hoare triple,

Source URL: www.cl.cam.ac.uk

• Mathematical logic
• Logic in computer science
• Substructural logic
• Hoare logic
• Logic
• Separation logic
• Hoare
• Correctness
• Predicate transformer semantics
• Program logic
• Theoretical computer science
• Mathematics

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 5 Compiler Construction (DJG) (a) Define the following forms of variable:

Source URL: www.cl.cam.ac.uk

• Type theory
• Memory management
• Data types
• Procedural programming languages
• Variables
• Type system
• C
• Local variable
• Garbage collection
• Software engineering
• Computing
• Computer programming